The environments for theorem, propositions etc. can be used with the
usual LATEX [#!LaTeX!#,#!LaTeXD!#] syntax. The proof environment
is already defined.
The following environments have been predefined:
- theorem
- corollary
- lemma
- proposition
- conjecture
- proof